Visualizing Regions with a new Split-Screen View for the Online Tool travis

نویسندگان

  • Benjamin Meis
  • Robin Bergenthum
چکیده

The online tool travis can synthesize a k-bounded Petri net model from a reachability graph and unfold a k-bounded Petri net to its reachability graph. Synthesis is built on the theory of regions, but where travis and other existing tools only show the synthesized model, we want to present the synthesized model as well as the calculated regions after a user has performed the synthesis procedure. In this paper, we present a new split-screen module of travis which is able to visualize regions, calculated during the synthesis procedure, as well as markings of places related to single states of the reachability graph, calculated during the unfolding procedure. Both sets, i.e. regions and markings, help to really understand the relations between the behavioral and the synthesized models at hand, as well as the underlying fundamental concepts of state-based synthesis and reachability analysis. With these new features, travis is tailored to be used in a teaching environment to help students understand the concepts and notions of state-based synthesis.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

TrAVis to Enhance Students’ Self-monitoring in Online Learning Supported by Computer-Mediated Communication Tools

This paper presents TrAVis (Tracking Data Analysis and Visualization Tools), a Web-based system that assists the students in visualizing their communication activities in distance learning situations. While most of the existing systems in the same genre are exclusively dedicated to the teachers, TrAVis is objectively designed and implemented for both teachers and students. In particular, TrAVis...

متن کامل

VisAR : A New Technique for Visualizing Mined Association Rules

Many business organizations generate a huge amount of transaction data. Association rule mining is a powerful analysis tool to extract the useful meanings and associations from large databases and many automated systems have been developed for mining association rules. However, most of these systems usually mine many association rules from large databases and it is not easy for a user to extrac...

متن کامل

TrAVis to enhance online tutoring and learning activities: Real-time visualization of students tracking data

Purpose – This paper presents a part of our research work that places an emphasis on Tracking Data Analysis and Visualization (TrAVis) tools, a web-based system, designed to enhance online tutoring and learning activities, supported by computer-mediated communication (CMC) tools. TrAVis is particularly dedicated to assist both tutors and students in the task of exploiting tracking data of commu...

متن کامل

Enhancing Shared Understanding in Collaborative Online

This study explores the emerging phenomenon of collaborative online shopping by comparing three navigation support designs: separate navigation with location cue, split screen navigation, and tightly-bonded shared navigation. The impacts of the three navigation support designs on collaborative customers’ actual and perceived shared understanding were investigated in a laboratory experiment. The...

متن کامل

مقایسه لارنگوسکوپ میلر و مکین تاش در خارج سازی جسم خارجی از ناحیه هیپوفارنکس به کمک پنس مگیل

Abstract: Aims and Background: Esophageal foreign body can be harmful. Esophagoscopy is the most common method of foreign body extraction. But in many cases during laryngoscopy the foreign body is visible in hypopharynx region and anesthesiologist can remove it with a Magill forceps. In these cases laryngoscopy should give an appropriate and sufficient view from hypopharynx. The aim of this st...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2018